- canonical generic ultrafilter
- матем.канонический настраиваемый ультрафильтр
English-Russian scientific dictionary. 2008.
canonical generic ultrafilter
Смотреть что такое "canonical generic ultrafilter" в других словарях:
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
Core model — In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to the core model , it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the… … Wikipedia
